Gurov, Dilian: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A verification tool for ERLANG

Lars–Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 385 KB

english, 2003

2

Composing Modal Properties of Programs with Procedures

Marieke Huisman, Dilian Gurov

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 328 KB

english, 2009

3

A modal μ-calculus and a proof system for value passing processes

Dilian Gurov, Sergei Berezin, B.M. Kapron

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

File:

PDF, 31 KB

1997

4

Verification of Peer-to-peer Algorithms: A Case Study

Rana Bakhshi, Dilian Gurov

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 383 KB

english, 2007

5

Compositional verification of sequential programs with procedures

Dilian Gurov, Marieke Huisman, Christoph Sprenger

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 543 KB

english, 2008

6

Provably correct runtime monitoring

Irem Aktug, Mads Dam, Dilian Gurov

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 1.23 MB

english, 2009

7

Reducing behavioural to structural properties of programs with procedures

Gurov, Dilian, Huisman, Marieke

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 742 KB

english, 2013

8

[IEEE 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST) - Toronto, ON, Canada (2014.7.23-2014.7.24)] 2014 Twelfth Annual International Conference on Privacy, Security and Trust - Private intersection of regular languages

Guanciale, Roberto, Gurov, Dilian, Laud, Peeter

Year:

2014

Language:

english

File:

PDF, 323 KB

english, 2014

9

Procedure-modular specification and verification of temporal safety properties

Soleimanifard, Siavash, Gurov, Dilian, Huisman, Marieke

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.13 MB

english, 2015

10

Provably correct control flow graphs from Java bytecode programs with exceptions

Amighi, Afshin, Gomes, Pedro de Carvalho, Gurov, Dilian, Huisman, Marieke

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 2.10 MB

english, 2016

11

[Lecture Notes in Computer Science] Formal Verification of Object-Oriented Software Volume 7421 || Verification of Information Flow Properties of Java Programs without Approximations

Beckert, Bernhard, Damiani, Ferruccio, Gurov, Dilian

Year:

2012

Language:

english

File:

PDF, 345 KB

english, 2012

12

[ACM Press the 12th Workshop - Maribor, Slovenia (2010.06.22-2010.06.22)] Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 - Procedure-modular verification of control flow safety properties

Soleimanifard, Siavash, Gurov, Dilian, Huisman, Marieke

Year:

2010

Language:

english

File:

PDF, 236 KB

english, 2010

13

Algorithmic verification of procedural programs in the presence of code variability

Soleimanifard, Siavash, Gurov, Dilian

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 2.08 MB

english, 2015

14

[IEEE 2015 13th Annual Conference on Privacy, Security and Trust (PST) - Izmir, Turkey (2015.7.21-2015.7.23)] 2015 13th Annual Conference on Privacy, Security and Trust (PST) - Privacy preserving business process matching

Gurov, Dilian, Laud, Peeter, Guanciale, Roberto

Year:

2015

Language:

english

File:

PDF, 252 KB

english, 2015

15

Formal architecture modeling of sequential non-recursive C programs

Westman, Jonas, Nyberg, Mattias, Gustavsson, Joakim, Gurov, Dilian

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 1.68 MB

english, 2017

16

A Note on Negative Tagging for Least Fixed-Point Formulae

Gurov, Dilian, Kapron, Bruce

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

1999

Language:

english

File:

PDF, 146 KB

english, 1999

17

Specification and verification of synchronization with condition variables

de C. Gomes, Pedro, Gurov, Dilian, Huisman, Marieke, Artho, Cyrille

Journal:

Science of Computer Programming

Year:

2018

Language:

english

File:

PDF, 563 KB

english, 2018

18

An Abstraction Technique for Verifying Shared-Memory Concurrency

Oortwijn, Wytse, Gurov, Dilian, Huisman, Marieke

Journal:

Applied Sciences

Year:

2020

File:

PDF, 906 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски